$\forall$$a$,$b$,$y$:$\mathbb{Z}$. gcd\_p($a$; $b$; $y$) $\Rightarrow$ gcd\_p($b$; $a$; $y$)